Highlight window, Un-highlight window
These two buttons add (or remove) all elements inside the ``Selection
box'' to the list of selected elements. Determination whether the element lies
inside the box is done after it is projected onto the screen — hence, if
necessary, certain elements can be excluded by rotating the graph to a
different viewpoint.